state invariant meaning in English

状态常量

After summarizing the methods and techniques of efsm - based testing , this paper focuses on the problems of oracle and automatic test sequences generation from uml state diagrams . to deal with the problem of state oracle , the state invariant is introduced to identify state . with the purpose of shortening the length of the test sequences and trimming the redundant test sequences , the algorithm of generating test sequences , which satisfy the coverage metric , is amended
本文在总结类的基于状态测试的理论基础、现有的测试用例生成方法的基础上，结合uml的状态图，对测试用例自动生成进行了研究，重点放在状态预测、消息序列生成上：对状态的预测引入了状态不变量；生成测试消息序列时对算法进行优化，以生成路径尽可能短的符合覆盖标准的测试消息序列。